punch marking - German English Dictionary